Skip to content

More git tools 2#119

Merged
dwash96 merged 7 commits intocecli-dev:v0.88.14from
devsoft-co-za:more_git_tools_2
Nov 11, 2025
Merged

More git tools 2#119
dwash96 merged 7 commits intocecli-dev:v0.88.14from
devsoft-co-za:more_git_tools_2

Conversation

@devsoft-co-za
Copy link
Copy Markdown

This PR adds two new git tools:

  1. git_branch.py
  2. git_remote.py
    Adding functionality to git tools for viewing and comparing branches and remotes

I refactored the new git tools (git_branch.py and git_remote.py) to work with the current tools implementation.
Also updated git_branch to accept non-destructive parameters like -v or --merged, so as to be more useful.

git_branch and git_remote do not have the capability to create/delete/switch branches or remotes, they just show information.

tomjuggler and others added 7 commits November 10, 2025 08:18
Co-authored-by: aider (deepseek/deepseek-reasoner) <aider@aider.chat>
Co-authored-by: aider (deepseek/deepseek-reasoner) <aider@aider.chat>
Co-authored-by: aider (deepseek/deepseek-reasoner) <aider@aider.chat>
Co-authored-by: aider (deepseek/deepseek-reasoner) <aider@aider.chat>
@dwash96 dwash96 changed the base branch from main to v0.88.14 November 11, 2025 13:46
@dwash96 dwash96 merged commit 8dcf9fc into cecli-dev:v0.88.14 Nov 11, 2025
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants